Developing Comprehensive Postconditions Through a Model Transformation Chain.
نویسندگان
چکیده
منابع مشابه
Developing Reliable yet Flexible Software through If-Then Model Transformation Rules
Developing reliable yet flexible software is a hard problem. Although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. Formal modeling methods ensure reliability because they use a rigorous approach to software development. However, lack of knowledge and high cost practically fo...
متن کاملDeveloping a model of social development through educational sport
The present study was designed and conducted to investigate the role of professional sports development on social development indicators in Iran. The present study is one of the mixed researches that was done qualitatively and quantitatively. The statistical population consisted of elites and experts in the field of social and sports and were familiar with the subject of the research. Based on ...
متن کاملDeveloping linguistic literacy: a comprehensive model.
This is a position paper modelling the domain of linguistic literacy and its development through the life span. It aims to provide a framework for the analysis of language development in the school years, integrating sociolinguistic and psycholinguistic notions of variation, language awareness, and literacy in a comprehensive model. The paper focuses on those aspects of literacy competence that...
متن کاملdeveloping reliable yet flexible software through if-then model transformation rules
developing reliable yet flexible software is a hard problem. although modeling methods enjoy a lot of advantages, the exclusive use of just one of them, in many cases, may not guarantee the development of reliable and flexible software. formal modeling methods ensure reliability because they use a rigorous approach to software development. however, lack of knowledge and high cost practically fo...
متن کاملA Comprehensive Mathematical Model for Designing an Organ Transplant Supply Chain Network under Uncertainty
One of the most important issues in area of health and hygiene is location-allocation of organ harvesting centers and transplant centers according to coordination between supply and demand. In this paper, a mathematical model is presented for location-allocation of organ harvesting centers and transplant centers. The proposed model does not only minimize the present value of the total system co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2019
ISSN: 1660-1769
DOI: 10.5381/jot.2019.18.3.a5